Integration of declarative and constraint programming
نویسندگان
چکیده
منابع مشابه
Integration of declarative and constraint programming
Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation...
متن کاملDeclarative Rule-Based Constraint Programming
The focus of this research is on the area of declarative rulebased constraint programming, in particular on answer set programming. Answer set programming (ASP) is an approach to rule-based constraint programming that has received increasing attention over the last few years. Rulebased programming seems like a natural way to represent specifications for several problems. The aim is to develop a...
متن کاملDeclarative Incorrectness Diagnosis in Constraint Logic Programming
Our concern in this paper is the declarative incorrectness diagnosis of constraint logic programs. Many techniques have been developed for LP but cannot be merely adapted to CLP. Constraint logic program semantics is rede-ned, using a reject criterion, in term of skeletons. Skeletons give an intrinsic deenition to the answers provided by a program. The reject criterion can take into account the...
متن کاملDeclarative Constraint Programming with Definitional Trees
The new generic scheme CFLP (D) has been recently proposed in [14] as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. Further, [15] presented a Constrained Lazy Narrowing Calculus CLNC(D) as a convenient computation mechanism for solving goals for CFLP (D)-programs, which was proved sound and strongly complete wi...
متن کاملDeclarative Debugging in Constraint Logic Programming
This paper is motivated by the declarative insuuciency diagnosis of constraint logic programs, but focuses only on theoretical viewpoints. Many techniques have been developed for logic programming but cannot be merely adapted to constraint logic programming. Constraint logic program semantics is redeened in terms of proof trees using a cover relation. Proof trees give an intrinsic deenition to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2007
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068406002833